Перевод: с английского на все языки

со всех языков на английский

conjunction symbol

См. также в других словарях:

  • Conjunction (astronomy and astrology) — Conjunction of Mercury and Venus, align above the Moon, at the Paranal Observatory. Conjunction is a term used in positional astronomy and astrology. It means that, as seen from some place (usually the Earth), two celestial bodies appear near one …   Wikipedia

  • Symbol Technologies — Infobox Company company name = Symbol Technologies Inc. company company type = Subsidiary of Motorola foundation = 1975 location = key people = Kathy Paladino, CEO >Dr. Boris Metlitsky, SVP and General Manager Global Products Group industry =… …   Wikipedia

  • Logical conjunction — ∧ redirects here. For exterior product, see exterior algebra. Venn diagram of …   Wikipedia

  • Star (symbol) — The star (★), as an ideograph, most commonly represents the astronomical star for which it is named.Emblematic use*In heraldry, the star is the ensign of knightly rank, and every order of knighthood incorporates this symbol in some way. It has… …   Wikipedia

  • Western astrology — ‹ The template below (Astrology) is being considered for merging. See templates for discussion to help reach a consensus. › Astrology …   Wikipedia

  • Мажорные аспекты (астрология) — К мажорным (основным) аспектам в астрологии относят аспекты кратные 30° и полученные делением окружности (360°) на 1, 2, 3, 4 и 6 частей. Их действие проявляется наиболее ярко и сильно, в отличии от минорных аспектов, которые могут проявляться… …   Википедия

  • Соединение (астрономия) — Схема соединения Марса с Солнцем Соединение (в астрономии)  такая конфигурация небесных тел, при которой их эклиптические долготы равны[1][2][3]. Иногда использ …   Википедия

  • Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… …   Wikipedia

  • Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… …   Wikipedia

  • Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia

  • Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»